logic n. 1.邏輯,理論學。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯,惡徒的歪理[言行]。 mathematical logic數理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
Savchenko v . function representation in geometric modeling : concepts , implementation and applications . the visual computer , 1995 , 11 : 429 - 446 . 23 rvachev v l . geometric applications of logic algebra 盡管相交曲線是逼近計算的,相關的頂點還是用超形的參數化形式計算的,表明它們屬于隱函數的零集,但不會精確地位于理論上的相交曲線上。
In this article , according to the theory of logic algebra inequality , the notion of inequality in lattice implication algebra was introduced , three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated , and some properties and corollaries were obtained 摘要針對邏輯代數中的不等關系提出格蘊涵代數不等式的概念,討論了格蘊涵代數中3類最基本的一元格蘊涵不等式,得到一些性質及推論。